1. Truth, deduction, and computation
Author: / R.E. Davis
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Programming languages (Electronic computers)- Semantics,Logic, Symbolic and mathematical,Electronic data processing
Classification :
QA76
.
7
.
D386
1989
